Modeling of Event-Driven Continuous-Discrete Processes
نویسندگان
چکیده
Models of industrial processes often contain discrete phenomena superimposed on the continuous system behavior. Simulation of batch processes, start-up and shutdown procedures, fault diagnosis and alarms fall under this category. Models for such processes require a mathematical theory for both its continuous and discrete state transitions. A key problem in hybrid simulation lies in the detection and exact location of discontinuities that delineate state changes. Hence, hybrid systems require special integration routines, which are not available in conventional integration methods. In this paper, important issues pertaining to the numerical aspects in hybrid simulation will be discussed. We will demonstrate a new mathematical approach to event handling. The main target of this new approach is increased computational performance without loss of rigor. The authors anticipate the significance of high speed in the advent of new challenges in optimal control and dynamic optimization problems. The semantics of multi-state networks expressed by complex conjugated event conditionals will also be presented.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Analysis of Hybrid Systems: A New Approach Integrating Petri Nets and Di erential Equations
Hybrid technical systems combine discrete-state event-driven and continuous-state time-driven behavior. In this contribution, a general modeling formalism for such systems is proposed. The discrete subsystem is represented by an interpreted Petri net. In addition to external continuous inputs, discrete variables dependent on the net marking aaect the continuous subsystem which is a time-driven ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملA Tutorial on Hawkes Processes for Events in Social Media
This chapter provides an accessible introduction for point processes, and especially Hawkes processes, for modeling discrete, inter-dependent events over continuous time. We start by reviewing the definitions and the key concepts in point processes. We then introduce the Hawkes process, its event intensity function, as well as schemes for event simulation and parameter estimation. We also descr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001